A Review of Formal Methods for Intelligent Adaptive Systems with an Application to Intelligent Water Level Monitoring System

Intelligent adaptive systems are sensitive to their environment, which enables them to address the complexity of modern software systems. As a result, they are able to adapt to changes in the environment autonomously. Numerous algorithms are available to provide adaptivity to the system. However, formal methods have not been widely used for specification and verification of adaptive systems. Our main aim is application of formal methods to the intelligent adaptive systems to ensure correctness of system design. In this paper, we present a case study of intelligent water level monitoring system. UPPAAL model checking tool is used for formal specification, modelling and verification of the presented case study. Also counter example analysis is used to identify sources of two problems in the system design. 1. INTRODUCTION Intelligent adaptive systems adapt to changing environments as well as the users they interact with, so that they can communicate efficiently and naturally with them. They are expected not only to automatically acquire knowledge through a variety of intelligent tools and technologies but also to learn and optimize their behavior over time. They can be used in a large number of applications such as intelligent transportation systems, smart Grid, smart logistics, smart environmental protection, smart home, smart medical, smart safety, industrial automation, smart agriculture etc. [1].